343. JZ6045,<The> hidden face of Eve :
پدیدآورنده : by Lars Kirchhoff. ,William E. Landis, Robin L. Chandler, editors.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
344. Knowledge graph and semantic computing :
پدیدآورنده : Jun Zhao, Frank van Harmelen, Jie Tang, Xianpei Han, Quan Wang, Xianyong Li (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Big data, Congresses.,Knowledge representation (Information theory), Congresses.,Semantic computing, Congresses.,Big data.,Knowledge representation (Information theory),Semantic computing.
رده :
QA76
.
5913
345. LATIN 2018 :
پدیدآورنده : Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.
رده :
QA75
.
5
346. Language variation - European Perspectives VI :
پدیدآورنده : edited by Isabelle Buchstaller, Beat Siebenhaar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Grammar, Comparative and general-- Phonology, Congresses.,Language and languages-- Variation, Congresses.,Grammar, Comparative and general-- Phonology.,Language and languages-- Variation.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- General.,Europe, Languages, Variation, Congresses.,Europe., 0, 7
رده :
P120
.
V37
347. <Le> vocabulaire des sentim
پدیدآورنده : F. Weber
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
348. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
349. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
350. Logic and its applications
پدیدآورنده : Andreas Blass, Yi Zhang, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Algebraic logic,Congresses ، Geometry, Algebraic
رده :
QA
10
.
L634
351. Logic and its applications: International Conference on Logic and Its Applications in Algebra and Geometry, April 11-13, 2003, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, April 14-15, 2003, University of Michigan, Ann Arbor, Michigan
پدیدآورنده : Andreas Blass, Yi Zhang, editors
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Algebraic logic,Congresses ، Geometry, Algebraic
رده :
QA
10
.
I578
2003
352. Logic and philosophy of science in Uppsala :
پدیدآورنده : edited by Dag Prawitz, Dag Westerståhl.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic -- Congresses.,Science -- Methodology -- Congresses.,Science -- Philosophy -- Congresses.
رده :
Q174
.
E358
1994
353. Logic, computation, hierarchies /
پدیدآورنده : edited by Vasco Brattka, Hannes Diener, Dieter Spreen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Boolean, Congresses,Logic, Symbolic and mathematical, Congresses,Petri nets, Congresses,Quasi-metric spaces, Congresses,Set theory, Congresses
354. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Pedro Cabalar, Tran Cao Son (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
355. Low-dimensional quantum field theories for condensed matter physicists :
پدیدآورنده : editors, S. Lundquist, G. Morandi, Yu Lu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Condensed matter, Congresses.,Low-dimensional topology, Congresses.,Particles (Nuclear physics), Congresses.,Quantum field theory, Congresses.,Campos E Ondas (Fisica Teorica),Condensed matter.,Festkörper,Festkörperphysik,Kongress,Low-dimensional topology.,Particles (Nuclear physics),Quantenfeldtheorie,Quantum field theory.,SCIENCE-- Physics-- Condensed Matter.
رده :
QC174
.
45
.
A1
I25
1992eb
356. Machine generated contents note: The Context -- Development of Islamic Thought in the -- 20th Century -- Features of the Socio-Economic Development -- in the Occupied Territories and the Intifada -- PART ONE: THE BASIC THEMES IN THE -- THOUGHT OF HAMAS -- The Problem: Israel, Zionism and the Jews -- The Goal: An Islamic Palestinian State -- Sense of Urgency: Mass-Immigration -- of Soviet Jews -- Hostility and Isolation -- The International Community -- The Arab-Muslim Countries -- The Traditional Palestinian Leadership -- Means -- Palestine:Jihad in Form of the Intifdda -- The Arab-Muslim World: Islamisation -- and Democratisation -- Self-Image of Islam -- v Inner Enemy: The Palestinian -- Liberation Organisation -- Equality? The Christian Minority -- Ambiguity: Attitude towards the West -- PA
پدیدآورنده : Andrea Nüsse.
موضوع :
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
357. Machine learning for networking :
پدیدآورنده : Éric Renault, Paul Mühlethaler, Selma Boumerdassi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine learning, Congresses.,Machine learning.
رده :
Q325
.
5
358. Malden,Z115.5.A7
پدیدآورنده : edited by A.P. Martinich ; with Fritz Allhoff and Anand Jayprakash Vaidya. ,[sostaviteli i avtory teksta V.O. Kazari� a︡n, S.S. Manuki� a︡n].
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
359. Mathematical foundations of computer science 2003 :
پدیدآورنده : Krzysztof Diks and Wojciech Rytter (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
360. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده : Ed. by Yehoshua Bar-Hillel
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
9
.
I56
1968
